specification tool
英 [ˌspesɪfɪˈkeɪʃn tuːl]
美 [ˌspesɪfɪˈkeɪʃn tuːl]
【计】说明工具，规范工具
双语例句
- This could either be a direct call that you made yourself through JNI or that you coded to a specification that had well-defined links with JNI, such as the JVM Tool Interface ( JVMTI).
这可以是您自己通过JNI发起的直接调用，或是编写到拥有良好定义的JNI链接的规范中的直接调用，比如JVMToolInterface（JVMTI）。 - W3C XPath specification: Explore an extremely valuable XML tool that you can use to find nodes quickly and easily within even the most complicated XML document.
W3CXPath规范：浏览一个极有价值的XML工具，您可以用它来快速且简单地在最复杂的XML文档中查找节点。 - Push both angle adjusting tools onto the wiper arm and adjust the angle to the required specification by twisting the front adjusting tool.
将两个角度调节工具压到刮臂上，扭转前面的调整工具，将角度调整到所需的规范。 - A high-level Petri net called EPr/ TN net system is introduced to serve as a formal specification tool for OSI network protocol.
然后介绍了一种高级Petri网，称为EPr/TN网系统，作为OSI网络协议的形式描述工具； - Structural character, working principle and main technical specification of WJ-1 new type through annulus logging tool used to measure production water cut has been introduced in this paper.
文中介绍了WJ1型过环空新型产液剖面测井仪的结构特点、工作原理以及主要技术指标。 - Based on formal specification, this paper proposes a dynamic approach for object oriented testing at cluster level. A testing tool is formed by embedding the approach into the interpreter of the program under test.
提出一种基于规格说明的面向对象簇级动态测试的新方法，并将它完全嵌入到被测试程序的解释器中，从而构成了一个解释型簇级测试工具。 - In this paper we describe a language called WRIGHT which supports architectural specification. WRIGHT focuses on the definition of connectors as protocols, and provides formal criteria and an associated tool for checking architectural consistency.
本文介绍一个支持体系结构规范说明的语言WRIGHT，它注重连接器的定义（即协议），提供了形式化推理和体系结构一致性检查的工具。 - For specification, design, simulation and optimization of all optical communicationnetworks, it is essential to develop a prototype of powerful OCAD ( optical computer aided design) software tool.
为了规范、设计、仿真和优化全光通信网，开发一套功能强大的光网用计算机辅助设计软件（OCAD）是十分必要的。 - This Paper analyses the cryptographic protocol models and introduces a kind of analysis tool called timed Petri net, which is served as the formal specification tool of SET ( secure electronic transaction) protocol.
对密码协议模型进行了分析，引入时延Petri网分析工具，建立了一种新的安全电子交易协议的形式描述工具。 - This paper firstly introduces current situation about courseware tool in brief and IMS specification in detail, especially IMS content packaging specification. Then we present a new web courseware tool model, which can fully embody the teacher's own teaching style.
本文首先简要介绍了当前课件制作工具现状，详细介绍了IMS教育规范，特别是IMS内容包装规范，然后在此基础建立了一个能够充分体现教师教学风格的个性化Web课件制作模型。 - There were some assistant tool kits introduced in this paper, such as specification compiler 、 application analyzer 、 configuration tool and so on, which facilitate the integration of system.
在本文中还介绍了系统的一些辅助工具，如接口语言编译工具、应用程序分析工具、系统配置工具等，以加快系统的合成。 - After having analysed three popular object-oriented analysis methods, a new method initiating from the specification is put forword and its conversion tool for supporting object-oriented analysis& OOATOOL is designed and implemented in this paper.
本文在分析了当前较流行的三种面向对象分析方法的基础上，提出了一种从规格说明书开始作面向对象分析的方法，并设计和实现了支持该方法的转换工具&OOATOOL。 - It defines a specification f information extraction, and provides a visualization tool to help users generate rules together with the background engine, which automatically download and extracts semantic information units inside Web forums.
为信息抽取定义了完善的抽取规则规范，提供了用户定制规则的可视化工具和论坛站点中语义信息单元自动下载抽取的后台引擎。 - The aim of this research is, through researching the theory, specification, and relational model of on-line courseware standardization, on the base of making a standard courseware model, designing and developing a courseware conversion tool.
该专题通过对网络课件标准化理论、规范以及相关模型的研究，制定出标准化的网络课件模型，并基于该模型设计开发一种课件转换工具。 - In this paper, we briefly summarize the applications of deductive logic in knowledge engineering, and analyse the limits of it in knowledge representation, reasoning, problem solving, logic programming and as the specification language and analysis tool of expert systems.
本文简要归纳了演绎逻辑在知识工程中的作用，着重分析了演绎逻辑在知识表达、推理、问题求解、逻辑程序设计等方面以及作为专家系统说明语言与分析工具的局限性。 - A knowledge representation language is designed and implemented based on the formalized definition of object and the specification of our expert system developing tool.
按照面向对象的形式定义，结合专家系统的具体特征，设计适用于专家系统开发工具的知识表示语言。 - Enclosing the two core functions described above, implementing relative functions, and integrating them into a fully tool to support CPPA specification. At last, applying the CPPA tool to projects.
围绕CPP文档的构建和CPA文档的合成这两个核心功能，实现外围的相关功能，形成一个完整的CPPA规范的支持工具集，并把该工具在相关的项目中进行应用。 - This article introduces the configuration, principle, specification and practical application effect of SZS-2000C variable density logging tool, describes its log application and analyses the affected factors on log signals.
文章介绍了SZS-2000C型三组合变密度测井仪的结构、原理、技术指标、实际应用效果。 - According to the study and application of POSC specification technology, it is necessary to exploit a powerful data browse tool.
针对POSC标准化技术研究与应用的要求，开发了一套数据浏览工具。 - Specification and material selection and heattreatment process for tool joints
钻杆接头的技术标准与用钢及热处理工艺 - Then we started from the standard specification of wireless AP and the detection content, introduced the needs of this tool, and analyzed the feasibility about designing an automatic-test tool.
随后，从无线AP的标准规范及其检测内容入手，给出了该工具的需求，并分析了设计该工具的可行性。 - Then, according to SCA assembly specification, introduce the service component assembly process, and use the GMF ( Graphical Modeling Framework) to create the domain model of SCA service component assembly and achieve a visual service component assembly tool.
然后，根据SCA组装规范，介绍服务构件的组装过程，使用GMF（GraphicalModelingFramework）创建了基于SCA服务构件的领域模型，并实现了可视化的服务构件组装工具。